/* In-line span */
.code {
	font-family: monospace;
	background: rgba(0,0,0,0.04);
	border: 1px solid rgba(0,0,0,0.3);
	counter-reset: line;
	margin-left: 2px;
	margin-right: 2px;
	word-break: break-all;
}
/* ============================= */
/* ======== CODE BLOCK ========= */
/* ============================= */
pre {
	font-family: monospace;
	background: rgba(0,0,0,0.04);
	border: 1px solid rgba(0,0,0,0.3);
	counter-reset: ln;
	margin-left: 2px;
	margin-right: 2px;
	overflow: auto;
}
pre * { 
	font-family: monospace;
}
/* show line numbers */
pre .line { 
	display: inline-block;
	/* 40 + 10 = 50, 40 is from "line::before" */
	width: 50px;
}
pre .line::before {
	counter-increment: ln;
	content: counter(ln);
	display: inline-block;
	color: black; 
	font-weight: normal; 
	font-style: normal; 
	border-right: 1px solid rgba(200,200,200,1);
	padding: 0 15;
	margin: 0 10 0 0;
	width: 40px;
	text-align: center;
	background: rgba(0,0,0,0.035);
}
/* code style for element types */
pre .keyword { 
	color: rgb(127, 0, 85);
	font-weight: bold;
	text-shadow: none;
}
pre .string { 
	color: rgb(47, 100, 31); 
	font-style: italic;
}
pre .const {
	color: rgb(173, 53, 0); 
}
pre .annotation {
	color: rgb(120, 130, 150); 
}
pre .comment-line,
pre .comment-multi {
	color: rgb(0, 111, 12); 
	font-style: italic;
}
pre .comment-javadoc { 
	color: rgb(0, 100, 114); 
	font-style: italic;
}
/* ==== TOGGLE BUTTON ==== */
/* shared button style */
.toggle-open, 
.toggle-closed {
	cursor: pointer;
	position: absolute;
	display: inline-block;
	margin-left: -15px;
	text-align: center;
	width: 13px;
	background: rgba(0,0,0,0.2);
	border: 1px solid rgba(0,0,0,0.3);
}
/* closed button is more blue */
.toggle-closed {
	background: rgba(20,20,130,0.4);
}
/* text (+/-) for open/close button operations */
.toggle-open::before {
	content: '-';
}
.toggle-closed::before {
	content: '+';
}
/* dark on hover */
.toggle-open:hover, 
.toggle-closed:hover {
	background: rgba(0,0,0,0.34);
}
/* highlight for code belonging to a toggle-button */
.toggle-section {
	background: rgba(0,0,100,0.1);
}